($\lambda$$a$,$b$,$y$,$z$. GCD($a$;$b$;$y$)) $\in$ $\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow\downarrow$True$\rightarrow$Prop